package msgcomm;

import java.util.Set;

public class CrashedException extends Exception {

	private static final long serialVersionUID = 6884704269646145273L;
	
	/**
	 * Lista dei nickname dei destinatari a cui non e' stato possibile recapitare il messaggio 
	 * e che quindi si presume abbiano fatto crash
	 */
	private final Set<String> destsCrashed;
	
	public CrashedException(Set<String> destsCrashed){
		
		this.destsCrashed=destsCrashed;
		
	}
	
	public Set<String> getDestsCrashed(){
		
		return this.destsCrashed;
		
	}
	
	
}
